For every integer a and every prime p, ap mod p = a mod p

For every integer a and every prime p, a^p mod p = a mod p.